书籍列表

Automated deduction in geometry 4th international workshop 封面
Automated deduction in geom...

作者：Franz Winkler
Symbolic and numerical scientific computation: second international conference 封面
Symbolic and numerical scie...

作者：Franz Winkler ; U...
返回首页